Dado un Alfabeto Σ, definimos un conjunto regular sobre el mismo de la siguiente manera:

1. ∅, el conjunto vacío, es un conjunto reguar.
2. {ε}, el Lenguaje con solo la cadena vacía, es un conjunto regular.
3. Para cada a ∈ Σ, el conjunto {a}, es un conjunto regular.
4. Si P y Q son conjuntos regulares sobre Σ, entonces también lo son:
   • P ∪ Q
   • P⋅Q
   • P ^* y Q ^*, las clausuras sobre P y Q
5. Si P es un conjunto regular, entonces (P) es el mismo lenguaje regular.
6. Nada más es un conjunto regular.